_require local "../../../../basis.smi"
(*
_require local "../../../../json.smi"
*)
_require local "../../../libs/env/main/SEnv.smi"
_require local "../../../data/symbols/main/RecordLabel.smi"
_require local "../../../data/symbols/main/Symbol.smi"
_require       "../../../data/symbols/main/Loc.smi"
_require local "../../../libs/ids/main/LocalID.smi"
_require local "../../../data/types/main/TypesBasics.smi"
_require local "../../../data/types/main/ExistTyID.smi"
(* _require local "../../../data/types/main/Unify.smi" *)
_require local "../../../data/runtimetypes/main/RuntimeTypes.ppg.smi"
_require local "../../../data/runtimetypes/main/TypeLayout2.smi"
_require local "../../../data/builtin/main/BuiltinTypes.smi"

_require local "../../userlevelprimitive/main/UserLevelPrimitive.smi"
_require local "../../debug/main/Bug.smi"

_require "../../../data/types/main/Types.ppg.smi"
_require "./ReifiedTy.ppg.smi"
(* _require "./ReifyUtils.smi" *)

structure TyToReifiedTy =
struct
  val toReifiedTy : Loc.loc -> Types.ty -> ReifiedTy.reifiedTy
  val toTy : Loc.loc -> Types.ty -> ReifiedTy.tyRep
(*
  val getConSet : ReifiedTy.tyRep -> ReifiedTy.conSet
*)
end
